/*
 * Parser.h
 *
 *  Created on: 16/mag/2012
 *      Author: Lorenzo
 */

#ifndef PARSER_H_
#define PARSER_H_

#include "Formula.h"
#include <vector>
#include <string>

using namespace std;

class Parser {
public:
	Parser();
	virtual ~Parser();

	static void parseFile(char* path, vector<Formula*> & out);
};

#endif /* PARSER_H_ */
